Menu

Filtros : "Financiamento IBM" "PROGRAMAÇÃO LINEAR" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Artigo de periodico

    Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2023)

    Finger, Marcelo ; Preto, Sandro

    Source: Journal of Logic and Computation. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR

    Disponível em 2024-10-13Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 21 maio 2024.

    • APA

      Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059

    • NLM

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1093/logcom/exad059

    • Vancouver

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1093/logcom/exad059

  • Trabalho de evento

    Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)

    Preto, Sandro ; Manyà, Felip ; Finger, Marcelo

    Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 21 maio 2024.

    • APA

      Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039

    • NLM

      Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039

    • Vancouver

      Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039

  • Trabalho de evento

    A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks (1995)

    Humes Júnior, Carlos; Ou, J; Kumar, Panakala Rajesh

    Source: Proceedings. Conference titles: IEEE Conference on Decision and Control - CDC. Unidade: IME

    Subjects: PROGRAMAÇÃO LINEAR, TELECOMUNICAÇÕES

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HUMES JÚNIOR, Carlos e OU, J e KUMAR, Panakala Rajesh. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks. 1995, Anais.. Piscataway: IEEE, 1995. Disponível em: https://doi.org/10.1109/CDC.1995.480373. Acesso em: 21 maio 2024.

    • APA

      Humes Júnior, C., Ou, J., & Kumar, P. R. (1995). A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks. In Proceedings. Piscataway: IEEE. doi:10.1109/CDC.1995.480373

    • NLM

      Humes Júnior C, Ou J, Kumar PR. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks [Internet]. Proceedings. 1995 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/CDC.1995.480373

    • Vancouver

      Humes Júnior C, Ou J, Kumar PR. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks [Internet]. Proceedings. 1995 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/CDC.1995.480373
  • 1

1 - 3 (3 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024